A Systematic Review of Methods for Consistency Checking in SBVR-based Business Rules

Business enterprises in today’s world have complex rules and process as their foundation. The rules and processes continuously change to reflect the enterprise’s evolution and progress, market demands and regulations. This constant flux demands an automatic way to check these business rules for correctness and consistency. In the recent times, few methods were proposed for automated checks. In our literature review for this subject matter, however, we did not find a proper survey, which could present a consolidated picture of the properties, advantages and drawbacks of the different methods. The randomly scattered state of art for specifying business rules and analyzing them for inconsistencies is hindering the relevant research space. We conduct a systematic literature review of various solutions discussed in the field of consistency checking for business rules, especially rules in Semantics of Business Vocabularies and Rules (SBVR) format. We highlight the progress made in the field, aspects that can be developed further, and the current gaps in the methods so that future work can be channelized to address and close the gaps by proposing new or enhanced methods.